991![CompCert Formally Verified Optimizing C Compiler CompCert is an optimizing C compiler which is formally verified, using machine-assisted mathematical proofs, to guarantee the absence of compiler bugs. The code it produce CompCert Formally Verified Optimizing C Compiler CompCert is an optimizing C compiler which is formally verified, using machine-assisted mathematical proofs, to guarantee the absence of compiler bugs. The code it produce](https://www.pdfsearch.io/img/34ec8b8088b719d7081219fbbd95b63c.jpg) | Add to Reading ListSource URL: www.absint.comLanguage: English - Date: 2015-03-16 07:37:07
|
---|
992![On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡ On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡](https://www.pdfsearch.io/img/516d276bd4354bf28e2aadedbd78939c.jpg) | Add to Reading ListSource URL: www.cs.ucy.ac.cyLanguage: English - Date: 2010-09-22 05:54:39
|
---|
993![BEAMJIT: An LLVM based just-in-time compiler for Erlang Frej Drejhammar <frej@sics.se> 140407 BEAMJIT: An LLVM based just-in-time compiler for Erlang Frej Drejhammar <frej@sics.se> 140407](https://www.pdfsearch.io/img/e963f5a83015d8c1bc5907ce1e682bac.jpg) | Add to Reading ListSource URL: llvm.orgLanguage: English - Date: 2014-04-09 10:33:41
|
---|
994![Fast Exact Inference with a Factored Model for Natural Language Parsing Dan Klein Department of Computer Science Stanford University Fast Exact Inference with a Factored Model for Natural Language Parsing Dan Klein Department of Computer Science Stanford University](https://www.pdfsearch.io/img/6d0569fdb601aa8c38e916572b57966b.jpg) | Add to Reading ListSource URL: www-nlp.stanford.eduLanguage: English - Date: 2003-01-19 19:26:31
|
---|
995![Microsoft PowerPoint - S2913ck2.ppt Microsoft PowerPoint - S2913ck2.ppt](https://www.pdfsearch.io/img/9c8c622064243c809d0fa74d9a2daca2.jpg) | Add to Reading ListSource URL: www.watsonwalker.comLanguage: English - Date: 2012-03-07 08:24:43
|
---|
996![StackAnalyzer for RX StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call graph a StackAnalyzer for RX StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call graph a](https://www.pdfsearch.io/img/2fb138ee7221da5eb896e65324075760.jpg) | Add to Reading ListSource URL: www.absint.comLanguage: English - Date: 2015-01-19 06:15:30
|
---|
997![The LLVM Compiler Infrastructure How to build LLVM in ten seconds - or die trying! The LLVM Compiler Infrastructure How to build LLVM in ten seconds - or die trying! The LLVM Compiler Infrastructure How to build LLVM in ten seconds - or die trying! The LLVM Compiler Infrastructure How to build LLVM in ten seconds - or die trying!](https://www.pdfsearch.io/img/a6ade62f75b7617640e1f1ef34735443.jpg) | Add to Reading ListSource URL: llvm.orgLanguage: English - Date: 2014-04-09 10:33:41
|
---|
998![Ragel State Machine Compiler User Guide by Adrian Thurston Ragel State Machine Compiler User Guide by Adrian Thurston](https://www.pdfsearch.io/img/c68d001be1eccceae642754ac1d234ea.jpg) | Add to Reading ListSource URL: www.colm.netLanguage: English - Date: 2014-11-28 15:51:12
|
---|
999![LL(1) Conflict Resolution in a Recursive Descent Compiler Generator 1 Albrecht Wöß, Markus Löberbauer, Hanspeter Mössenböck LL(1) Conflict Resolution in a Recursive Descent Compiler Generator 1 Albrecht Wöß, Markus Löberbauer, Hanspeter Mössenböck](https://www.pdfsearch.io/img/8c7370b313430dd8f42f54a2a6fe97ee.jpg) | Add to Reading ListSource URL: www.ssw.uni-linz.ac.atLanguage: English - Date: 2005-04-26 12:10:30
|
---|
1000![The Elements of Computing Systems The Elements of Computing Systems](https://www.pdfsearch.io/img/ad722af6a4e147698727969466a427f9.jpg) | Add to Reading ListSource URL: www.nand2tetris.orgLanguage: English - Date: 2012-07-23 06:35:43
|
---|